declare-9.c:2: error: parameter 3 not specified for `size' bounded function
